Unix shell script to rename a file